Enriched category

Results: 38



#Item
31An Institutional View on Categorical Logic Florian Rabe, Jacobs University Bremen Till Mossakowski, DFKI-Lab Bremen and University of Bremen

An Institutional View on Categorical Logic Florian Rabe, Jacobs University Bremen Till Mossakowski, DFKI-Lab Bremen and University of Bremen

Add to Reading List

Source URL: kwarc.info

Language: English - Date: 2011-08-04 12:26:08
32Theory and Applications of Categories, Vol. 28, No. 21, 2013, pp. 616–695.  ENRICHED INDEXED CATEGORIES

Theory and Applications of Categories, Vol. 28, No. 21, 2013, pp. 616–695. ENRICHED INDEXED CATEGORIES

Add to Reading List

Source URL: www.tac.mta.ca

Language: English - Date: 2013-08-05 14:35:47
33Free models of T -algebraic theories computed as Kan extensions Nicolas Tabareau ∗

Free models of T -algebraic theories computed as Kan extensions Nicolas Tabareau ∗

Add to Reading List

Source URL: hal.archives-ouvertes.fr

Language: English - Date: 2008-11-17 11:04:51
34Categories without a set of objects, n-orders, constructivism Mathieu Dupont

Categories without a set of objects, n-orders, constructivism Mathieu Dupont

Add to Reading List

Source URL: breckes.org

Language: English - Date: 2012-08-14 06:21:01
35

PDF Document

Add to Reading List

Source URL: www.tac.mta.ca

Language: English - Date: 2012-05-14 13:13:14
36

PDF Document

Add to Reading List

Source URL: stefan-klinger.de

Language: English - Date: 2013-09-26 09:15:18
37

PDF Document

Add to Reading List

Source URL: home.imf.au.dk

Language: English - Date: 2007-03-19 03:23:44
38

PDF Document

Add to Reading List

Source URL: tac.mta.ca

Language: English - Date: 2002-08-31 13:48:13